Kalpa Publications in Computing
نویسندگان
چکیده
Gossip protocols deal with a group of communicating agents, each holding some private information, and aim at arriving at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols are particularly simple distributed programs that use as guards formulas from an epistemic logic. We showed recently that the implementability of these distributed gossip protocols and the problems of their partial correctness and termination are decidable, but the problem of decidability of their fair termination was left open. We study here rule-fair and agent-fair termination of these protocols and show that both properties are decidable.
منابع مشابه
Kalpa Publications in Computing
Automated reasoning systems such as theorem provers often employ interaction or cooperation with further reasoning software. Whereas in most cases the concrete choice of cooperating software is, to some extent, irrelevant, these systems are nevertheless often rigid in practice due to compatibility issues. In order to support more flexible cooperation schemes, a machine-readable description form...
متن کاملThe Kalpa Method of Therapy in Chronic Diseases
In chronic diseases, the Kalpa method of therapy prescribed in Ayurveda for revitalization and overall improvement of health is discussed in this paper. Also reports here that clinical trial of Agrogyavardhini Kalpa in chronic GIT disease confirms the efficacy of Kalps therapy in boosting the general health of the patient as reflected by its nutritional status etc. Clinical symptoms also improv...
متن کاملIncreased endocardial to epicardial flow ratio present at rest disappears during exercise stress perfusion CMR in normal volunteers - a potential mechanism for exercise induced subendocardial ischaemia
Increased endocardial to epicardial flow ratio present at rest disappears during exercise stress perfusion CMR in normal volunteers a potential mechanism for exercise induced subendocardial ischaemia Kaleab N Asrress, Rupert Williams, Tim Lockie, John D Biglands, Amedeo Chiribiri, Aleksandra Radjenovic, Roy Jogiya, Kalpa De Silva, Sebastian Kozerke, Phil Chowienczyk, Eike Nagel, Michael Marber,...
متن کاملMagnetic resonance imaging of the microcirculation in acute coronary syndromes
Microvascular damage is frequently observed in the setting of acute coronary syndromes (ACS). Imaging of the microcirculation is playing an increasingly important role in the risk stratification of patients presenting with acute coronary syndromes, furthering our understanding about coronary microcirculatory patho-physiology in this setting. Of the available imaging methods, cardiac magnetic re...
متن کاملAlignment and dataset identification of linked data in Semantic Web
The Linked Open Data (LOD) cloud has gained significant attention in the Semantic Web community over the past few years. With rapid expansion in size and diversity, it consists of over 800 interlinked datasets with over 60 billion triples. These datasets encapsulate structured data and knowledge spanning over varied domains such as entertainment, life sciences, publications, geography, and gove...
متن کامل